Testing Polymorphic Behavior

نویسندگان

  • Neelam Soundarajan
  • Benjamin Tyler
چکیده

Our goal is to investigate specification-based approaches to testing OO components. That is, given a class C and its specification, how do we test C to see if it meets its specification? Two important requirements that we impose on the testing approach are that it must not require access to the source code of the class under test; and that it should enable us to deal with the polymorphic behavior of classes. In this paper, we report on our work towards developing such a testing approach.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Testing Polymorphic Behavior of Framework Components

An object-oriented framework is often the key component in building products for a given application area. Given such a framework, an application developer only needs to provide definitions suited to the needs of his or her product for the hook methods. With appropriate initializations, the calls to the hook methods made by the template methods defined in the framework will then be dispatched t...

متن کامل

Testing Polymorphic Relationships

As we move from developing procedure-oriented to object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults occur when components are integrated to form higher level structures that aggregate the behavior and state of the components. Consequently, we need to place more effort on testing the connections...

متن کامل

Testing Polymorphic Properties

This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas parametrically polymorphic functions are expected to work for any type. We present a schema for constructing a monomorphic instance for a polymorphic property, such that correctness of that single instance implies correctness for ...

متن کامل

Genotyping of Five Polymorphic STR Loci in Iranian Province of Isfahan

Genotyping for five short tandem repeat (STR) loci HUMvWA, HUMFES, HUMTPO, HUMTH01 and D3S1359 was done in 220 unrelated individuals from the population of Isfahan province of IR Iran. The loci were genotyped using the polymerase chain reaction (PCR) followed by polyacrylamide gel electrophoresis (PAGE) and silver staining. The data demonstrated that the STR markers were all found informative i...

متن کامل

Paradoxical Effect of Increased Diastolic Ca Release and Decreased Sinoatrial Node Activity in a Mouse Model of Catecholaminergic Polymorphic Ventricular Tachycardia

Catecholaminergic polymorphic ventricular tachycardia is a congenital arrhythmogenic disease linked to -adrenergic–induced ventricular arrhythmias that has a high mortality in children and young adults when untreated. As common features of the catecholaminergic polymorphic ventricular tachycardia phenotype, supraventricular arrhythmias have also been described in catecholaminergic polymorphic v...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Journal of Object Technology

دوره 1  شماره 

صفحات  -

تاریخ انتشار 2002